Skip to main content

Microsoft Research Video

More than 1,100 brilliant scientists and engineers push the boundaries of computing in multiple research areas and include contributions to Kinect for Xbox 360, work to develop an HIV vaccine, and advancing education techniques in rural communities.

PART OF
Computers & Technology
More right-solid
More right-solid
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
SHOW DETAILS
up-solid down-solid
eye
Title
Date Archived
Creator
Microsoft Research Video
by Microsoft Research
movies
eye 120
favorite 0
comment 1
We live in a world of great and increasing complexity, where even the most expert professionals struggle to master the tasks they face. Longer training, more advanced technologies: neither seems to prevent grievous errors. There is a remedy in the most humble and simple of all techniques: the checklist. We can identify successful people in many fields who turn to checklists to pull off some of the most difficult tasks, and places where the impact of the checklist is huge:-in the complex world...
favoritefavoritefavoritefavoritefavorite ( 1 reviews )
Topics: Microsoft Research, Microsoft Research Video Archive, Kirsten Wiley, Atul Gawande
Panel discussion at day 1 of the 2010 Microsoft Research Asia Faculty Summit held in Shanghai, China. Session chair: Tony Hey, Corporate Vice-President, Microsoft Research ©2010 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Video Archive
Microsoft Research Video
movies
eye 75
favorite 0
comment 0
Since the 1930’s, science fiction has wowed audiences with the promise that in the future: automobiles would fly, teleporting would be commonplace and invisibility would be an option for one and all. Why aren’t we there yet? While we didn’t get the jetpacks we did get smartphones and hybrid vehicles and pocket sized computers-in fact science has met more demands of science fiction than you might realize thanks to quantum mechanics. And it is because of this branch of physics that we may...
Topics: Microsoft Research, Microsoft Research Video Archive, Kirsten Wiley, James Kakalios
Microsoft Research Video
movies
eye 62
favorite 0
comment 0
Julie Strauss of Microsoft PowerPivot presents an overview of Microsoft Excel with PowerPivot and examples of geo-science applications. This presentation was part of the 2011 Open Data for Open Science Workshop. ©2011 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Video Archive, Julie Strauss
Microsoft Research Video
movies
eye 142
favorite 0
comment 0
A core element of microeconomics and game theory is that consumers have valuationfunctions over bundles of goods and that these valuation functions drive theirpurchases. In particular, the value given to a bundle need not be the sum of values onthe individual items but rather can be a more complex function of how the itemsrelate. Common valuation classes considered in the literature include OXS,submodular, and XOS valuations. Typically it is assumed that these valuations areknown to the center...
Topics: Microsoft Research, Microsoft Research Video Archive, Yael Kalai, Maria Florina Balcan
Microsoft Research Video
movies
eye 23
favorite 0
comment 0
Microsoft Research exposes new natural language technologies that raise the bar for functionality, usability and reliability of in-car infotainment systems. ©2010 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Video Archive, Ivan Tashev
This talk introduces the five-year COE (Center of Excellence) program “Framework for Systematization and Application of Large-scale Knowledge Resources,” that launched in 2003 at Tokyo Institute of Technology. The project is conducting a wide range of interdisciplinary research combining humanities and technology to create a framework for the systematization and the application of large-scale knowledge resources in electronic forms. Spontaneous speech, written language, materials for...
Topics: Microsoft Research, Microsoft Research Video Archive, Li Deng, Sadaoki Furui
Leakage power has become an increasingly important issue in processor hardware and software design. With the main component of leakage, the sub-threshold current, exponentially increasing with decreasing device dimensions, leakage commands an ever increasing share in the processor power consumption. In 65 nm and below technologies, leakage accounts for 30-40% of processor power. While there are several process technology and circuit-level solutions to reduce leakage in processors, the research...
Topics: Microsoft Research, Microsoft Research Video Archive, Kim Shearer, Aviral Shrivastava, Sarma...
Microsoft Research Video
movies
eye 15
favorite 0
comment 0
Today`s Internet is at risk. A single misbehaving router--whether through misconfiguration or malicious intent--can hijack routes, bringing down over a third of the Internet. This critical vulnerability stems from the pervasive assumption inherent in existing protocols that any information propagated by routers is correct. Emerging security proposals for Internet routing require a public key infrastructure and a trusted central authority, and thus are unlikely to see wide deployment. In this...
Topics: Microsoft Research, Microsoft Research Video Archive, alreed, Lakshmi Subramanian
Microsoft Research Video
movies
eye 38
favorite 0
comment 0
This is a report on joint work with Kristin Lauter and Peter Stevenhagen. Broker and Stevenhagen have shown that in practice it is not hard to produce an elliptic curve (over some finite field) with a given number N of points, provided that the factorization of N is known. In his talk this week, Stevenhagen will show that the natural generalization of this method to produce genus-2 curves with a given number of points on their Jacobian is an exponential algorithm. I will consider the related...
Topics: Microsoft Research, Microsoft Research Video Archive, Kristin Lauter, Everett Howe
This will be a series of three lectures on Perelman's work, aimed at a general mathematical audience. The first lecture will briefly review Thurston's conjecture and its consequences, and then go through an outline of Perelman's argument. The second and third lectures will go into somewhat more detail, covering key points in the proof, such as the classification of finite time singularities, and (if time permits) Ricci flow with surgery. ©2005 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Video Archive, Assaf Naor, Bruce Kleiner
We have been rethinking the fundamental sampling strategies used in interactive computer graphics. This rethinking has led to such interesting questions as, 'How should we display an image in which some pixels are older than others? Do we need pixels at all? Do we even need 'images' in the classic sense of 'frames in an animation'?' We will describe a novel temporally adaptive temporal sampling approach based on frameless rendering, a per-sample rendering algorithm that decouples spatial and...
Topics: Microsoft Research, Microsoft Research Video Archive, Hugues Hoppe, Benjamin Watson, David Luebke
Microsoft Research Video
movies
eye 65
favorite 1
comment 0
With uniprocessor systems running into ILP limits and fundamental VLSI constraints, parallel architectures provide a realistic path towards scalable performance. Nevertheless, shared memory multiprocessors are neither simple to design nor easy to program. Transactional Coherence and Consistency (TCC) is a new model for shared memory systems with the potential to address both issues. TCC relies on user-defined, light-weight transactions as the basic unit of parallel work, communication, memory...
Topics: Microsoft Research, Microsoft Research Video Archive, Jim Larus, Christos Kozyrakis
Microsoft Research congratulates Chuck Thacker for winning the 2009 Turing Award! ©2011 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Video Archive, Roy Levin, Butler Lampson, Rick Rashid,...
Diagrams are a useful way to efficiently convey abstract information. Layout is an important aspect of diagram creation, impacting heavily on readability. Good diagram layout is difficult because it encompasses both a user's aesthetic preferences as well as drawing conventions for particular styles of diagrams. Existing diagram authoring software provides some layout tools, but these usually perform a once-off change. As such, the author of the diagram handles the majority of diagram layout...
Topics: Microsoft Research, Microsoft Research Video Archive, Lev Nachmanson, Michael Wybrow
Can you write code without an Internet connection? The ready availability of online tutorials, forums, and source code examples has fundamentally changed programming practices. Understanding and supporting these emerging practices is vital to building the next generation of development environments. This talk first presents our empirical work investigating how programmers use the Web. We studied 20 individuals in the lab and over 24,000 individuals through search log analysis. We found that Web...
Topics: Microsoft Research, Microsoft Research Video Archive, Gina Venolia, Joel Brandt
Microsoft Research Video
movies
eye 20
favorite 0
comment 0
11:00 - 11:30 Ken Stephenson (U. Tennessee) Rigidity of circle packings 11:35 - 12:05 Zheng-Xu He (Beijing CAS) Disk packings and conformal maps 12:10 - 12:40 Igor Pak (UMN and UCLA) Caged eggs and the rigidity of convex polyhedra ©2009 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Video Archive, David Wilson, Donald E. Marshall, Ken...
The progress of any creative discipline changes significantly with the quality of the tools available. As the diversity of user interfaces multiplies in the shift away from personal desktop computing, yesterday's tools and concepts are insufficient to serve the designers of tomorrow's interfaces. My research in human-computer interaction focuses on the earliest stages in UI creation - activities that take a novel idea and transform it into a concrete, interactive artifact that can be...
Topics: Microsoft Research, Microsoft Research Video Archive, Andy Wilson, Bjoern Hartmann
In modern microprocessors and systems-on-a-chip, the embedded memory system plays a key role in determining the design’s overall performance, power, area, reliability, and yield. As fabrication process technologies scale into the deep nanometer regime, increasing device variability poses particular difficulties for memory design due to the large number of variation-sensitive near minimum-sized devices in the cell arrays which often must achieve working circuits out beyond six sigma of...
Topics: Microsoft Research, Microsoft Research Video Archive, Doug Burger, Jangwoo Kim
Modern phones are being equipped with numerous sensors such as cameras, microphones, GPS, accelerometers, and health monitors. This project aims to design a 'Virtual Information Telescope', where the 'lenses' of the telescope are metaphors for the sensors in people's mobile phones. Using such a telescope, an Internet user will be able to zoom into any part of the human-populated world, and observe events of interest. Users will be able to direct queries to phones located in a given region, and...
Topics: Microsoft Research, Microsoft Research Video Archive, Ranveer Chandra, Romit Roy Choudhury
In this talk I will first give a brief introduction to Energy Based Models. I will then discuss in detail the two areas where I have applied these techniques, namely Relational Regression and Similarity Metric Learning. In a number of real world problems, such as, web-page classification, social networks, and house price prediction, the samples are related to each other in complex ways such that the values of unknown variables associated with one sample depends not only on its individual...
Topics: Microsoft Research, Microsoft Research Video Archive, Chris J.C. Burges, Sumit Chopra
The everyday interactions which we carry out with computers are constrained by our own perceptual and motor capabilities that are associated with the technology being used. To improve our overall experiences with both contemporary and emerging technological platforms there are two important steps which must be respected. 1) Understanding the nature of the low-level capabilities of the human user associated with the technology at use. 2) Designing interaction techniques and user interfaces based...
Topics: Microsoft Research, Microsoft Research Video Archive, Ken Hinckley, Tovi Grossman
Microsoft Research Video
movies
eye 17
favorite 0
comment 0
The research and industrial communities have made great strides in developing sophisticated defect detection tools based on static analysis. However, to date most of the work in this area has focused on developing novel static analysis algorithms, and neglected study of other aspects of static analysis tools, in particular user interfaces. In this work, we present a novel user interface toolkit called Path Projection that helps users visualize, navigate, and understand program paths, a common...
Topics: Microsoft Research, Microsoft Research Video Archive, Manuel Fahndrich, Jeff Foster
Microsoft Research Video
movies
eye 16
favorite 0
comment 0
The queries that users pose to web search engines range from two to four terms in length. Much effort has been spent on handling these queries, with considerable success. Apart from advances in retrieval models, simple interaction techniques like query suggestions, spelling correction, and landing page suggestions have also provided substantial improvements in performance. But, what next? One often-proposed avenue for the next big advance leading to better search experience and user...
Topics: Microsoft Research, Microsoft Research Video Archive, Dennis DeCoste, Giridhar Kumaran
Microsoft Research Video
movies
eye 25
favorite 0
comment 0
The theory of automated program revision studies possibilities and limitations of revising existing programs. We require that such revision must be achieved within the given program's current state space so that the revised program satisfies newly identified requirements while it continues to satisfy its current properties. The main focus of this theory is to identify instances where automated revision of programs can be achieved efficiently (possibly in polynomial-time) and where it is...
Topics: Microsoft Research, Microsoft Research Video Archive, Margus Veanes, Borzoo Bonakdarpour
The Internet faces new challenges, ranging from unwanted or harmful traffic to the increasing complexity and fragility of inter-domain routing. At the same time, new applications demand evolution for new capabilities such as mobility, content-based routing, and quality-of-service (QoS) routing. Overlay networks use the existing Internet to provide connectivity for new services, and permit deployable network evolution. Overlay networks have not, however, addressed the full set of challenges and...
Topics: Microsoft Research, Microsoft Research Video Archive, Ming Zhang, Yun Mao
Topics: Microsoft Research, Microsoft Research Video Archive, David Heckerman, Jonathan Carlson, Yun Song
Microsoft Research Video
movies
eye 51
favorite 0
comment 0
Bond percolation on a graph G with parameter p in [0,1] is the random subgraph G p of G obtained by independently deleting each edge with probability 1-p and retaining it with probability p. For many graphs, the size of the largest component of G p exhibits a phase transition: it changes sharply from logarithmic to linear as p increases. When G is the complete graph, this model is known as the Erdos-Renyi random graph: at the phase transition, i.e. p=1/n, the largest component satisfies a...
Topics: Microsoft Research, Microsoft Research Video Archive, Jennifer Chayes, Asaf Nachmias
Microsoft Research Video
movies
eye 19
favorite 0
comment 0
Diverse control and measurement applications, such as mobile phone testing, process optimization, and distributed sonic arrays all require precise timing and synchronization. Designers of such systems need to understand the tradeoffs between the available timing technologies before choosing the right technology. When it comes to writing the software for the system it is often the case that the programming languages and tools either treat time as a second class citizen or worse - ignore time all...
Topics: Microsoft Research, Microsoft Research Video Archive, Mike Barnett, Jacob Kornerup
Microsoft Research Video
movies
eye 14
favorite 0
comment 0
A common approach in designing parallel languages is to provide some high level handles to manipulate the use of the parallel platform. This exposes some aspects of the target platform, for example, shared vs. distributed memory or task parallelism vs. data parallelism. Depending on the circumstances, these handles might be too powerful, not powerful enough or impose unnecessary constraints. Many potential programmers avoid these languages because they require too much understanding of...
Topics: Microsoft Research, Microsoft Research Video Archive, Jim Larus, Kathleen Knobe
Topics: Microsoft Research, Microsoft Research Video Archive, Luay Nakhleh
Microsoft Research Video
movies
eye 16
favorite 0
comment 0
Many students from developing countries dream about working for a place like Microsoft. Unfortunately, even basic education can be hard to attain when families are in poverty. Vietnam is one place where families must pay fees for elementary and secondary education. Families in rural areas often subsist on 2 or 3 dollars per day, which makes it difficult for them to afford schooling for their children. The Viet Nam Scholarship Foundation was established to provide ongoing support to these...
Topics: Microsoft Research, Microsoft Research Video Archive, Vahab Mirrokni and Jennifer Chayes, Gwen Vu,...
Not long ago, Americans could rightly feel confident in our preeminence in the world’s economy, as we set the pace for everything from the personal computer to the internet, from Wall Street to Hollywood, form the decoding of the genome to Web 2.0. So why is it that today Finland has the world’s most competitive economy? Why do US students rank 24th in math literacy around the world and why, in a reverse “brain drain”, did 30,000 highly trained professionals leave the US to return to...
Topics: Microsoft Research, Microsoft Research Video Archive, Kim Ricketts and Kirsten Wiley of Microsoft...
Microsoft Research Video
movies
eye 16
favorite 0
comment 0
In this talk we present a model that combines explicit and symbolic representations in an explicit-symbolic model checking tool. Both explicit and symbolic models have been successfully used in the verification of finite state concurrent systems, such as complex sequential circuits and communication protocols. The proposed model aims to use explicit and symbolic techniques together to verify the same model and to make it possible to employ the most efficient technique to each aspect of the...
Topics: Microsoft Research, Microsoft Research Video Archive, Tom Ball, Sergio Campos
Video games are big business, but can they be much bigger businesses? To do so requires the retention of existing players and the expansion of the player population beyond its historically core constituency of young men. Getting other demographics to engage the console experience may require modifying the product to fit the needs, interests, and issues of non-traditional players. The success of the Wii is an indicator of this shift away from technical superiority to more inclusive play...
Topics: Microsoft Research, Microsoft Research Video Archive, Marc Smith, Tracy Kennedy
Microsoft Research Video
movies
eye 36
favorite 0
comment 0
MPI is the de facto standard for programming cluster machines used in high performance computing. Even though MPI programs are not as error-prone to write as thread programs based on shared memory, the use of wildcard communications, split operations (posting and later testing), and recently added weak shared memory extensions to MPI all can, nevertheless, render MPI programs quite buggy. Extracting models from MPI programs and using existing model checkers suffers from many problems:...
Topics: Microsoft Research, Microsoft Research Video Archive, Madan Musuvathi, Ganesh Gopalakrishnan
Microsoft Research Video
movies
eye 39
favorite 0
comment 0
In this talk I will describe three projects that harness the potential of variable-aperture photography – capturing multiple photos by manipulating basic lens controls such as aperture and focus. I will show that by combining such photos, the information encoded in defocus can be used to achieve a variety of goals. First, I will describe a new method for computing highly detailed 3D shape by controlling both the aperture and focus of a lens. This method is particularly well-suited for scenes...
Topics: Microsoft Research, Microsoft Research Video Archive, Sing Bing Kang, Sam Hasinoff
Microsoft Research Video
movies
eye 21
favorite 0
comment 0
The game console market has gone highly concurrent, and the PC market is heading that way fast as well. The software development side of the game business has been reeling to catch up and deal with the new hardware, and the problem is far from solved. With a few products under our collective belt it is time to take a step back and assess where we are at, where things are headed, and how we are dealing with the recent and future changes to our hardware platforms... and how we would like to be...
Topics: Microsoft Research, Microsoft Research Video Archive, David Tarditi, Andrew Brownsword
Transfer functions, Analyzing composed systems, Q&A / Buffer. ©2007 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Video Archive, Jim Larus, Joe Hellerstein
In 1983, Aldous proved that randomization can speedup local search. For example, it reduces the query complexity of local search over grid 1:n] d from Theta (n d-1 ) to O (n d/2 ). It remains open whether randomization helps fixed-point computation. Inspired by this problem and recent advances on equilibrium computation, we have been fascinated by the following question: Is a fixed-point or an equilibrium fundamentally harder to find than a local optimum? In this talk, I will present a tight...
Topics: Microsoft Research, Microsoft Research Video Archive, Jennifer Chayes, Shang-Hua Teng
Using a combination of techniques in optical and radio frequency domains, one can significantly improve the functionality of cameras for sensing, projectors for augmentation and RFIDs for location sensing services. We have recently developed a technique to capture a light field and improve the depth of field of a camera using heterodyning methods common in radio frequency modulation (http://www.merl.com/people/raskar/Mask/). We have also shown that sensor-enhanced wireless tags can be precisely...
Topics: Microsoft Research, Microsoft Research Video Archive, Sing Bing Kang, Ramesh Raskar
With microprocessors hitting the power wall, alternative architectures are receiving substantial attention. Two factors make FPGAs promising, particularly for high performance computing applications: (i) the potential for thousand-fold parallelism, and (ii) the embedding of control into logic, which enables payload to be delivered every cycle. In this talk we will describe work in building FPGA-based accelerators for computational biology and bioinformatics. We find that, while there is...
Topics: Microsoft Research, Microsoft Research Video Archive, Alessandro Forin, Yongfeng Gu
Topics: Microsoft Research, Microsoft Research Video Archive, Danyel Fisher, John C. Tang
Microsoft Research Video
movies
eye 27
favorite 0
comment 0
With email we can send a message to nearly anyone, anytime, from anywhere…but that doesn’t always mean that we should. In fact, email communication presents new challenges-both in terms of writing skills and strategy-that should prompt us to ask ourselves a series of questions every time we compose an electronic memo, note, report, or reply. For example, when should you email and when should you call or show up? What is the best strategy when you send (in anger or in error) a potentially...
Topics: Microsoft Research, Microsoft Research Video Archive, Kim Ricketts and Kirsten Wiley, David Shipley
Modern software engineering tools exhibit a fundamental paradox: they are meant to support the collaborative activity of software development, but cause individuals and groups to work independently from one another. The underlying issue is that existing tools discretize time and tasks in concrete but isolated process steps. This approach is fundamentally flawed in assuming that human activity can be codified and that periodic resynchronization of tasks is an easy step. In this talk, I present a...
Topics: Microsoft Research, Microsoft Research Video Archive, Rob Deline, Anita Sarma
Microsoft Research Video
movies
eye 50
favorite 0
comment 0
The processor industry is at an inflection point. In the past, performance was the driving force behind the processor industry. But in the coming many-core era, improving programmability and reliability of the system will be at least as important as improving raw performance. To meet this vision, I will present a processor feature called BugNet that assists programmers in understanding software failures. Reproducing software failures is a significant challenge. The problem is severe especially...
Topics: Microsoft Research, Microsoft Research Video Archive, Onur Mutlu, Satish Narayanasamy
Mobile delay-tolerant sensor networks are becoming increasingly important because of their ability to deliver long periods of fine-grained sensing over a wide area with a small number of nodes. A key challenge in these systems, however, is that nodes are extremely energy constrained since they must be small, lightweight, and function autonomously for months at a time. This problem is compounded by the fact that mobile nodes demand radios with relatively long ranges to maximize the effectiveness...
Topics: Microsoft Research, Microsoft Research Video Archive, Jie Liu, Christopher Sadler
Microsoft Research Video
movies
eye 33
favorite 0
comment 0
At CBS, we have during the recent years developed a number of web tools to be used in immunological research. These tools are all linked at http://www.cbs.dtu.dk/services and include a predictor of proteasomal cleavage; NetChop-3.0 [1], a predictor of MHC class I peptide binding; NetMHC-3.0, the algorithms are described in [2,3], a CTL-epitope predictor; NetCTL-1.2 [4], a tool predicting linear B-cell epitopes; BebiPred, [5], a platform for prediction of discontinuous B-cell epitopes,...
Topics: Microsoft Research, Microsoft Research Video Archive, Nebojsa Jojic, Claus Lundegaard
A q-query Locally Decodable Code (LDC) encodes an n-bit message x as an N-bit codeword C(x), such that one can probabilistically recover any bit x i of the message by querying only q bits of the codeword C(x), even after some constant fraction of codeword bits has been corrupted. We give new constructions of three query LDCs of vastly shorter length than that of previous constructions. Specifically, given any Mersenne prime p=2 t -1, we design three query LDCs of length N=EXP(n 1/t ), for every...
Topics: Microsoft Research, Microsoft Research Video Archive, Jennifer Chayes, Sergey Yekhanin
Microsoft Research Video
movies
eye 33
favorite 0
comment 0
Like the Greeks who sailed with Jason in search of the Golden Fleece, the new Argonauts-foreign born, technically skilled entrepreneurs who travel back and forth between Silicon Valley and their home countries-seek their fortune in distant lands by launching companies far from established centers of skill and technology. Their story illuminates profound transformations in the global economy, and economic geographer Saxenian has followed this transformation, exploring one of its great paradoxes:...
Topics: Microsoft Research, Microsoft Research Video Archive, Kim Ricketts and Kirsten Wiley, AnnaLee...
Microsoft Research Video
by Microsoft Research
movies
eye 20
favorite 0
comment 0
Brendan will come and talk about this design process, show a lot of demos of his work, and be available for questions. ©2007 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Video Archive, Lili Cheng, Brendan Dawes
Microsoft Research Video
movies
eye 18
favorite 0
comment 0
Harvey Mudd College is a small, highly selective, school for undergraduates, with a focus on the sciences, engineering, and mathematics. The capstone experience for students majoring in computer science is the year-long Computer Science Clinic project, named in analogy to the practical experience that students receive in the medical profession. Currently six or more such projects are conducted each year. This talk will present the rationale for, and typical characteristics of, Computer Science...
Topics: Microsoft Research, Microsoft Research Video Archive, Jared Jackson, Robert Keller
TALK 1: The Research Accelerator for Multiple Processors (RAMP) is an affordable and versatile multiprocessor emulation platform being built as a large collaborative effort. RAMP hardware, from processors to coherent caches to networks, is implemented in field-programmable gate arrays (FPGAs) for flexibility, accuracy, visibility, cost and performance. It is designed to be composable, where different components can be quickly written, assembled and run. By using hardware rather than simulation,...
Topics: Microsoft Research, Microsoft Research Video Archive, Richard Draves, John Wawrzynek, Jan M. Rabaey
Microsoft Research Video
movies
eye 13
favorite 0
comment 0
Topics: Microsoft Research, Microsoft Research Video Archive, Jason Van Eaton
Microsoft Research Video
movies
eye 14
favorite 0
comment 0
Topics: Microsoft Research, Microsoft Research Video Archive, Todd Needham
It is well-known that live multimedia streaming applications operate more efficiently when organized in peer-to-peer (P2P) topologies, since peer upload capacities are utilized to support other peers, and to alleviate the load and operating costs on the streaming servers. To date, there have been a number of existing experimental proposals with respect to how such peer-to-peer topologies are organized to support live streaming sessions. However, most of the existing proposals resort to...
Topics: Microsoft Research, Microsoft Research Video Archive, Jin Li, Baochun Li
There is an ongoing explosion in the amount and complexity of data collected by social and health scientists. Many of these are temporal data that describe time-evolving populations of individual people and their relationships between each other. Traditional training in social and health sciences does not contain a ‘data management’ course, and consequently most social and health scientists are under prepared to properly manage, manipulate, and archive the data that they collect. This has...
Topics: Microsoft Research, Microsoft Research Video Archive, Marc Smith, Samuel Clark
Microsoft Research Video
movies
eye 19
favorite 0
comment 0
Topics: Microsoft Research, Microsoft Research Video Archive, Gino Sorcinelli
Topics: Microsoft Research, Microsoft Research Video Archive, Liz Lawley, Nic Ducheneaut
Microsoft Research Video
movies
eye 20
favorite 0
comment 0
Waitomo is an experimental programming language derived from Java. It aims to strengthen the guarantees of type safety by eliminating the need for casting without sacrificing the flexibility of the object-oriented programming style. The vital ingredients of the language are generics combined with a new approach to interfaces that includes a notion of self-types and union types. Waitomo interfaces are not types, but rather constraints which can be imposed on generics. This choice enables elegant...
Topics: Microsoft Research, Microsoft Research Video Archive, Wolfram Schulte, Peter Thiemann
Topics: Microsoft Research, Microsoft Research Video Archive, Liz Lawley, Constance Steinkuehler
Microsoft Research Video
movies
eye 9
favorite 0
comment 0
Topics: Microsoft Research, Microsoft Research Video Archive, Liz Lawley, Danah Boyd, Clay Shirky
Topics: Microsoft Research, Microsoft Research Video Archive, Liz Lawley, Karrie Karahalios
***Speech and Audio***9:00 The Breadth of Applications for Music, Eric Battenberg (UCB)9:30 Parallelizing speech recognition, and making it better, Nelson Morgan (UCB) ©2009 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Video Archive, Jim Larus, Dennis Gannon, Eric Battenberg,...
Microsoft Research Video
movies
eye 21
favorite 0
comment 0
Motivated by her joint work with H. Cohn on genus two curve crypotosystem, Lauter gave a very inspiring conjecture on the CM value of Igusa invariants. They need to compute these values to construct `good' genus two curves. This conjecture led to study of arithmetic intersection on an arithmetic 3-fold (Hilbert modular surface). Recently, I proved an arithmetic intersection formula, which leads to proof of Lauter's conjecture. The formula also leads to the first non-abelian generalization of...
Topics: Microsoft Research, Microsoft Research Video Archive, Kristin Lauter, Tonghai Yang
Battelle’s blog: www.battellemedia.com What does the world want? According to John Battelle, a company that answers that question—in all its shades of meaning—can unlock the most intractable riddles of business and arguably of human culture itself. Battelle will discuss the past, present, and future of search technology and the enormous impact it’s starting to have on marketing, media, pop culture, dating, job hunting, international law, civil liberties, and just about every other...
Topics: Microsoft Research, Microsoft Research Video Archive, Tamara Pesik, John Battelle
Learn about Microsoft Research achievements and collaborative partnerships over the past 15 years as well as the role of a research lab during a fireside chat with Rick Rashid, senior vice president of Microsoft Research, and Mark Emmert, president of the University of Washington. ©2006 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Video Archive, Kevin Schofield, Dan Ling, Mark Emmert, Rick...
Microsoft Research Video
movies
eye 24
favorite 0
comment 0
With network coding, intermediate nodes between the source and the receivers of an end-to-end communication session are not only capable of relaying and replicating data messages, but also of coding incoming messages to produce coded outgoing ones. Research in network coding has attracted substantial interests from both theoretical and practical perspectives. In this talk, we present our recent work on both theoretical investigations and practical implementations of network coding, with a focus...
Topics: Microsoft Research, Microsoft Research Video Archive, Jin Li (MICROSOFT RESEARCH), Baochun Li
Microsoft Research Video
movies
eye 16
favorite 0
comment 0
Research in Aspect-Oriented Programming focuses on new modularization mechanisms for so-called crosscutting concerns. Over the last years, a large number of crosscutting concerns has been identified and a fair number of appropriate aspect models have been proposed, chief among them that embodied by AspectJ. The AspectJ model lacks support for the explicit representation of relationships between execution points that are relevant to aspects, hence impeding the concise definition of certain...
Topics: Microsoft Research, Microsoft Research Video Archive, Wolfgang Grieskamp, Mario Suedholt
Microsoft Research Video
movies
eye 37
favorite 0
comment 0
Connectivity in enterprise networks is provided by technologies not designed to offer protection. As a response to growing security demands, network designers have attempted to retrofit access controls onto an otherwise permissive architecture using various interdiction mechanisms such as ACLs, packet filters, and other middleboxes. This has lead to enterprise networks that are inflexible, fragile, and difficult to manage. To address these limitations, we offer Ethane, a backwards compatible...
Topics: Microsoft Research, Microsoft Research Video Archive, Victor Bahl, Martin Casado
Topics: Microsoft Research, Microsoft Research Video Archive, Mark Lewin, Andre Santos
Microsoft Research Video
movies
eye 9
favorite 0
comment 0
Topics: Microsoft Research, Microsoft Research Video Archive, Mark Lewin, Bernhard Rabe, Andreas Polze
Topics: Microsoft Research, Microsoft Research Video Archive, Mark Lewin, Maxim Shuralev
Topics: Microsoft Research, Microsoft Research Video Archive, Angela Kernan, Cole Krumbholz
Topics: Microsoft Research, Microsoft Research Video Archive, Angela Kernan, Patrick E. Mantey